(-1 (
	("stop(agent:Person5)" 300 302)
	("stop(agent:Person6)" 531 533)
	("pair-65(agent:Person8,agent:Person4)" 1118 1282)
	("pair-65(agent:Person8,agent:Person9)" 1128 1282)
	("pair-65(agent:Person4,agent:Person6)" 456 1282)
	("pair-65(agent:Person8,agent:Person6)" 1100 1282)
	("pair-65(agent:Person9,agent:Person6)" 936 1285)
	("pair-65(agent:Person6,agent:Person1)" 456 460)
	("pair-65(agent:Person8,agent:Person7)" 900 963)
	("pair-65(agent:Person0,agent:Person2)" 120 217)
	("pair-65(agent:Person5,agent:Person2)" 300 391)
	("pair-65(agent:Person2,agent:Person3)" 275 391)
	("pair-65(agent:Person0,agent:Person6)" 456 667)
	("pair-65(agent:Person4,agent:Person2)" 243 335)
	("pair-65(agent:Person4,agent:Person9)" 936 1282)
	("pair-65(agent:Person5,agent:Person3)" 300 487)
	("pair-65(agent:Person0,agent:Person4)" 243 667)
	("run(agent:Person0)" 126 128)
	("run(agent:Person1)" 159 161)
	("run(agent:Person3)" 246 248)
	("run(agent:Person4)" 250 251)
	("run(agent:Person6)" 529 530)
	("run(agent:Person8)" 911 913)
	("pass(agent:Person0,agent:Person1)" 126 128)
	("pass(agent:Person0,agent:Person1)" 186 188)
	("pass(agent:Person4,agent:Person0)" 316 318)
	("pass(agent:Person4,agent:Person2)" 336 338)
	("pass(agent:Person4,agent:Person3)" 249 251)
	("pass(agent:Person4,agent:Person3)" 336 338)
	("pass(agent:Person4,agent:Person3)" 418 420)
	("pass(agent:Person4,agent:Person5)" 336 338)
	("pass(agent:Person4,agent:Person5)" 418 420)
	("pass(agent:Person5,agent:Person0)" 333 335)
	("pass(agent:Person8,agent:Person4)" 936 938)
	("pass(agent:Person8,agent:Person6)" 936 938)
	("pass(agent:Person8,agent:Person7)" 936 938)
	("pass(agent:Person8,agent:Person9)" 936 938)
	("flee(agent:Person0,agent:Person1)" 127 128)
	("flee(agent:Person0,agent:Person2)" 126 127)
	("flee(agent:Person1,agent:Person0)" 160 161)
	("flee(agent:Person1,agent:Person2)" 160 161)
	("flee(agent:Person3,agent:Person0)" 247 248)
	("flee(agent:Person3,agent:Person1)" 247 248)
	("flee(agent:Person3,agent:Person2)" 247 248)
	("flee(agent:Person3,agent:Person4)" 247 248)
	("flee(agent:Person4,agent:Person3)" 250 251)
	("flee(agent:Person6,agent:Person5)" 529 530)
	("flee(agent:Person8,agent:Person4)" 911 912)
	("flee(agent:Person8,agent:Person6)" 911 912)
	("flee(agent:Person8,agent:Person7)" 911 912)
	("pair-50(agent:Person8,agent:Person4)" 1117 1282)
	("pair-50(agent:Person8,agent:Person9)" 1115 1282)
	("pair-50(agent:Person4,agent:Person6)" 456 1282)
	("pair-50(agent:Person8,agent:Person6)" 1099 1282)
	("pair-50(agent:Person9,agent:Person6)" 936 1285)
	("pair-50(agent:Person6,agent:Person1)" 456 464)
	("pair-50(agent:Person8,agent:Person7)" 900 963)
	("pair-50(agent:Person0,agent:Person2)" 120 218)
	("pair-50(agent:Person5,agent:Person2)" 300 391)
	("pair-50(agent:Person2,agent:Person3)" 274 391)
	("pair-50(agent:Person0,agent:Person6)" 456 667)
	("pair-50(agent:Person4,agent:Person2)" 243 336)
	("pair-50(agent:Person4,agent:Person9)" 936 1282)
	("pair-50(agent:Person5,agent:Person3)" 300 487)
	("pair-50(agent:Person0,agent:Person4)" 243 667)
	("approach(agent:Person0,agent:Person1)" 126 127)
	("approach(agent:Person0,agent:Person1)" 144 145)
	("approach(agent:Person0,agent:Person1)" 186 187)
	("approach(agent:Person0,agent:Person2)" 127 128)
	("approach(agent:Person0,agent:Person2)" 187 188)
	("approach(agent:Person1,agent:Person0)" 158 160)
	("approach(agent:Person1,agent:Person2)" 158 160)
	("approach(agent:Person2,agent:Person0)" 153 154)
	("approach(agent:Person2,agent:Person1)" 140 141)
	("approach(agent:Person3,agent:Person0)" 246 252)
	("approach(agent:Person3,agent:Person0)" 258 259)
	("approach(agent:Person3,agent:Person0)" 269 273)
	("approach(agent:Person3,agent:Person1)" 246 252)
	("approach(agent:Person3,agent:Person1)" 269 273)
	("approach(agent:Person3,agent:Person2)" 246 252)
	("approach(agent:Person3,agent:Person2)" 258 259)
	("approach(agent:Person3,agent:Person2)" 269 273)
	("approach(agent:Person3,agent:Person4)" 246 252)
	("approach(agent:Person3,agent:Person4)" 258 259)
	("approach(agent:Person3,agent:Person4)" 269 273)
	("approach(agent:Person4,agent:Person0)" 250 251)
	("approach(agent:Person4,agent:Person0)" 316 317)
	("approach(agent:Person4,agent:Person0)" 337 338)
	("approach(agent:Person4,agent:Person0)" 360 361)
	("approach(agent:Person4,agent:Person0)" 440 441)
	("approach(agent:Person4,agent:Person0)" 452 453)
	("approach(agent:Person4,agent:Person1)" 250 251)
	("approach(agent:Person4,agent:Person1)" 324 325)
	("approach(agent:Person4,agent:Person1)" 360 364)
	("approach(agent:Person4,agent:Person1)" 440 441)
	("approach(agent:Person4,agent:Person1)" 448 449)
	("approach(agent:Person4,agent:Person1)" 456 457)
	("approach(agent:Person4,agent:Person2)" 250 251)
	("approach(agent:Person4,agent:Person2)" 336 337)
	("approach(agent:Person4,agent:Person2)" 361 362)
	("approach(agent:Person4,agent:Person3)" 248 250)
	("approach(agent:Person4,agent:Person3)" 336 337)
	("approach(agent:Person4,agent:Person3)" 361 362)
	("approach(agent:Person4,agent:Person3)" 418 419)
	("approach(agent:Person4,agent:Person3)" 438 441)
	("approach(agent:Person4,agent:Person3)" 448 449)
	("approach(agent:Person4,agent:Person5)" 336 337)
	("approach(agent:Person4,agent:Person5)" 361 362)
	("approach(agent:Person4,agent:Person5)" 418 419)
	("approach(agent:Person4,agent:Person5)" 438 441)
	("approach(agent:Person4,agent:Person5)" 448 449)
	("approach(agent:Person4,agent:Person6)" 456 457)
	("approach(agent:Person5,agent:Person0)" 314 315)
	("approach(agent:Person5,agent:Person0)" 333 334)
	("approach(agent:Person5,agent:Person1)" 314 315)
	("approach(agent:Person5,agent:Person2)" 314 315)
	("approach(agent:Person5,agent:Person3)" 300 301)
	("approach(agent:Person5,agent:Person3)" 313 314)
	("approach(agent:Person5,agent:Person3)" 334 335)
	("approach(agent:Person5,agent:Person4)" 314 315)
	("approach(agent:Person6,agent:Person0)" 459 464)
	("approach(agent:Person6,agent:Person0)" 500 501)
	("approach(agent:Person6,agent:Person0)" 517 518)
	("approach(agent:Person6,agent:Person0)" 529 530)
	("approach(agent:Person6,agent:Person0)" 580 581)
	("approach(agent:Person6,agent:Person1)" 460 461)
	("approach(agent:Person6,agent:Person1)" 500 501)
	("approach(agent:Person6,agent:Person1)" 516 522)
	("approach(agent:Person6,agent:Person1)" 529 531)
	("approach(agent:Person6,agent:Person4)" 459 464)
	("approach(agent:Person6,agent:Person4)" 491 492)
	("approach(agent:Person6,agent:Person4)" 500 501)
	("approach(agent:Person6,agent:Person4)" 516 522)
	("approach(agent:Person6,agent:Person4)" 529 530)
	("approach(agent:Person6,agent:Person4)" 580 581)
	("approach(agent:Person6,agent:Person5)" 490 491)
	("approach(agent:Person6,agent:Person5)" 499 500)
	("approach(agent:Person6,agent:Person5)" 507 508)
	("approach(agent:Person6,agent:Person5)" 517 518)
	("approach(agent:Person6,agent:Person5)" 524 529)
	("approach(agent:Person6,agent:Person5)" 556 557)
	("approach(agent:Person7,agent:Person4)" 869 873)
	("approach(agent:Person7,agent:Person6)" 869 873)
	("approach(agent:Person8,agent:Person4)" 912 913)
	("approach(agent:Person8,agent:Person4)" 936 937)
	("approach(agent:Person8,agent:Person6)" 912 913)
	("approach(agent:Person8,agent:Person6)" 936 937)
	("approach(agent:Person8,agent:Person7)" 912 913)
	("approach(agent:Person8,agent:Person7)" 936 937)
	("approach(agent:Person8,agent:Person9)" 936 937)
	("approach(agent:Person9,agent:Person4)" 940 941)
	("approach(agent:Person9,agent:Person6)" 950 951)
	("approach(agent:Person9,agent:Person6)" 975 978)
	("approach(agent:Person9,agent:Person6)" 984 988)
	("approach(agent:Person9,agent:Person7)" 940 941)
	("approach(agent:Person9,agent:Person7)" 949 950)
	("approach(agent:Person9,agent:Person7)" 974 977)
	("approach(agent:Person9,agent:Person8)" 940 941)
	("approach(agent:Person9,agent:Person8)" 949 950)
	("approach(agent:Person9,agent:Person8)" 974 977)
	("approach(agent:Person9,agent:Person8)" 986 987)
	("pair-80(agent:Person8,agent:Person4)" 1119 1282)
	("pair-80(agent:Person8,agent:Person9)" 1128 1282)
	("pair-80(agent:Person4,agent:Person6)" 456 624)
	("pair-80(agent:Person4,agent:Person6)" 716 789)
	("pair-80(agent:Person4,agent:Person6)" 790 1282)
	("pair-80(agent:Person8,agent:Person6)" 1100 1282)
	("pair-80(agent:Person9,agent:Person6)" 936 1285)
	("pair-80(agent:Person8,agent:Person7)" 900 959)
	("pair-80(agent:Person0,agent:Person2)" 120 214)
	("pair-80(agent:Person5,agent:Person2)" 300 391)
	("pair-80(agent:Person2,agent:Person3)" 339 391)
	("pair-80(agent:Person0,agent:Person6)" 464 667)
	("pair-80(agent:Person4,agent:Person2)" 243 265)
	("pair-80(agent:Person4,agent:Person2)" 266 268)
	("pair-80(agent:Person4,agent:Person2)" 269 270)
	("pair-80(agent:Person4,agent:Person9)" 936 1282)
	("pair-80(agent:Person5,agent:Person3)" 300 487)
	("pair-80(agent:Person0,agent:Person4)" 317 404)
	("pair-80(agent:Person0,agent:Person4)" 414 667)
	("movepos(agent:Person0)" 126 128)
	("movepos(agent:Person0)" 142 145)
	("movepos(agent:Person0)" 160 162)
	("movepos(agent:Person0)" 186 188)
	("movepos(agent:Person0)" 666 667)
	("movepos(agent:Person1)" 158 161)
	("movepos(agent:Person1)" 567 568)
	("movepos(agent:Person2)" 139 141)
	("movepos(agent:Person2)" 152 154)
	("movepos(agent:Person2)" 390 391)
	("movepos(agent:Person3)" 246 274)
	("movepos(agent:Person3)" 486 487)
	("movepos(agent:Person4)" 248 251)
	("movepos(agent:Person4)" 316 318)
	("movepos(agent:Person4)" 324 326)
	("movepos(agent:Person4)" 336 338)
	("movepos(agent:Person4)" 360 364)
	("movepos(agent:Person4)" 418 420)
	("movepos(agent:Person4)" 438 457)
	("movepos(agent:Person4)" 1281 1282)
	("movepos(agent:Person5)" 300 301)
	("movepos(agent:Person5)" 313 315)
	("movepos(agent:Person5)" 333 335)
	("movepos(agent:Person5)" 564 565)
	("movepos(agent:Person6)" 459 464)
	("movepos(agent:Person6)" 482 483)
	("movepos(agent:Person6)" 490 492)
	("movepos(agent:Person6)" 499 501)
	("movepos(agent:Person6)" 507 532)
	("movepos(agent:Person6)" 550 551)
	("movepos(agent:Person6)" 556 558)
	("movepos(agent:Person6)" 579 587)
	("movepos(agent:Person6)" 595 596)
	("movepos(agent:Person6)" 1284 1285)
	("movepos(agent:Person7)" 868 874)
	("movepos(agent:Person7)" 1038 1039)
	("movepos(agent:Person8)" 911 913)
	("movepos(agent:Person8)" 936 939)
	("movepos(agent:Person8)" 1281 1282)
	("movepos(agent:Person9)" 939 941)
	("movepos(agent:Person9)" 949 951)
	("movepos(agent:Person9)" 974 978)
	("movepos(agent:Person9)" 984 988)
	("movepos(agent:Person9)" 1284 1285)
	("pair-95(agent:Person4,agent:Person6)" 836 838)
	("pair-95(agent:Person5,agent:Person2)" 351 353)
	("pair-95(agent:Person5,agent:Person3)" 475 477)
	("pair-95(agent:Person0,agent:Person4)" 637 639)
	("walk(agent:Person0)" 126 128)
	("walk(agent:Person0)" 142 145)
	("walk(agent:Person0)" 160 162)
	("walk(agent:Person0)" 186 188)
	("walk(agent:Person0)" 666 667)
	("walk(agent:Person1)" 158 161)
	("walk(agent:Person1)" 567 568)
	("walk(agent:Person2)" 139 141)
	("walk(agent:Person2)" 152 154)
	("walk(agent:Person2)" 390 391)
	("walk(agent:Person3)" 246 274)
	("walk(agent:Person3)" 486 487)
	("walk(agent:Person4)" 248 251)
	("walk(agent:Person4)" 316 318)
	("walk(agent:Person4)" 324 326)
	("walk(agent:Person4)" 336 338)
	("walk(agent:Person4)" 360 364)
	("walk(agent:Person4)" 418 420)
	("walk(agent:Person4)" 438 457)
	("walk(agent:Person4)" 1281 1282)
	("walk(agent:Person5)" 300 301)
	("walk(agent:Person5)" 313 315)
	("walk(agent:Person5)" 333 335)
	("walk(agent:Person5)" 564 565)
	("walk(agent:Person6)" 459 464)
	("walk(agent:Person6)" 482 483)
	("walk(agent:Person6)" 490 492)
	("walk(agent:Person6)" 499 501)
	("walk(agent:Person6)" 507 532)
	("walk(agent:Person6)" 550 551)
	("walk(agent:Person6)" 556 558)
	("walk(agent:Person6)" 579 587)
	("walk(agent:Person6)" 595 596)
	("walk(agent:Person6)" 1284 1285)
	("walk(agent:Person7)" 868 874)
	("walk(agent:Person7)" 1038 1039)
	("walk(agent:Person8)" 911 913)
	("walk(agent:Person8)" 936 939)
	("walk(agent:Person8)" 1281 1282)
	("walk(agent:Person9)" 939 941)
	("walk(agent:Person9)" 949 951)
	("walk(agent:Person9)" 974 978)
	("walk(agent:Person9)" 984 988)
	("walk(agent:Person9)" 1284 1285)
	("go(agent:Person0)" 665 667)
	("go(agent:Person1)" 566 568)
	("go(agent:Person2)" 389 391)
	("go(agent:Person3)" 485 487)
	("go(agent:Person4)" 1280 1282)
	("go(agent:Person5)" 563 565)
	("go(agent:Person6)" 1283 1285)
	("go(agent:Person7)" 1037 1039)
	("go(agent:Person8)" 1280 1282)
	("go(agent:Person9)" 1283 1285)
	("follow(agent:Person0,agent:Person1)" 160 161)
	("follow(agent:Person3,agent:Person4)" 250 251)
	("follow(agent:Person4,agent:Person3)" 248 250)
))
